H ? « ‹ ← → › »

Language peer sets for Timed CSP:
United Kingdom↑
United Kingdom/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Timed CSP(ID:6808/tim001)

Extension of CSP to include timing constructs 

alternate simple view
Country: United Kingdom
Designed 1986

for Timed Communicating Sequential Processes

Extension of CSP to include timing constructs
Related languages
CSP → Timed CSP   Augmentation of
References:
  • G. M. Reed and A. W. Roscoe, (1986) G. M. Reed and A. W. Roscoe, "A timed model for communicating sequential processes", Proceedings of ICALP'86, Springer LNCS 226, 1986
  • Davies, J. and S. Schneider, (1989) Davies, J. and S. Schneider, "An Introduction to Timed CSP", Technical Monograph PRG-75, Oxford University Computer Laboratory. Abstract online copy
  • Davies, Jim and Steve Schneider (1990) Davies, Jim and Steve Schneider "Factorizing proofs in timed CSP" Proceedings of the fifth international conference on Mathematical foundations of programming semantics, New Orleans, Louisiana, United States 1990 pp129-159
  • Zic, John J. (1994) Zic, John J. "Time-constrained buffer specifications in CSP + T and timed CSP" ACM Transactions on Programming Languages and Systems (TOPLAS) 16(6) November 1994 pp1661-1674 Extract: Introduction
  • Jim Davies and Steve Schneider (1995) Jim Davies and Steve Schneider "A brief history of Timed CSP" Theoretical Computer Science, Volume 138, Issue 2, 20 February 1995, pp243-271 Abstract DOI Extract: Introduction Extract: The language of Timed CSP pdf
  • Lowe, Gavin (1995) Lowe, Gavin "Probabilistic and prioritized models of timed CSP" Selected papers of the meeting on Mathematical foundations of programming semantics Univ. of Oxford, Oxford, United Kingdom 1995 pp315-352
  • Schneider, Steve (1995) Schneider, Steve "An operational semantics for timed CSP" Information and Computation 116(2) February 1995 pp193-213 Abstract Extract: Introduction pdf
  • (2003) Joël Ouaknine , James Worrell, Timed CSP = closed timed ε-automata, Nordic Journal of Computing, v.10 n.2, p.99-133, Summer 2003
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder